1. True \\[0ex]$\vdash$ True $\vee$ False